home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / lisp / evaltrac.lha / doc / doc.tex / images.pl (.txt) < prev    next >
LaTeX Document  |  1989-12-08  |  3KB  |  98 lines
  1. # LaTeX2HTML 2022 (Released January 1, 2022)
  2. # Associate images original text with physical files.
  3. $key = q//;
  4. $cached_env_img{$key} = q|<IMG
  5.   STYLE="" SRC="|."$dir".q|img13.png"
  6.  ALT="\begin{evaltrace}
  7. +–> ;(++ 2 3)
  8. \vert
  9. \vert +–> ;2 {\it First argument evaluat...
  10. ... to 2 and 3 {\it Apply the function to its arguments.}
  11. +_*> ;5
  12. \end{evaltrace}">|; 
  13. $key = q/{code}(+23){et-->}5{code};LFS=12;AAT/;
  14. $cached_env_img{$key} = q|<IMG
  15.   STYLE="" SRC="|."$dir".q|img2.png"
  16.  ALT="\begin{code}
  17. (+ 2 3) {\et –>} 5
  18. \end{code}">|; 
  19. $key = q/{code}{{bf{procedure}foo({{bf{var}x:integer);{{bf{begin}x:={sum{{tt{a}_{i}{{{bf{end};{code};MSF=1.6;LFS=12;AAT/;
  20. $cached_env_img{$key} = q|<IMG
  21.   STYLE="" SRC="|."$dir".q|img1.png"
  22.  ALT="\begin{code}
  23. {\bf procedure} foo ({\bf var} x: integer);
  24. {\bf begin}
  25. x := $\sum{\tt a}_{i}$
  26. {\bf end};
  27. \end{code}">|; 
  28. $key = q/{evaltrace}"++"++"#"#"H"H"h"h"x"x"X"X"Y"Y"y"y{evaltrace};LFS=12;AAT/;
  29. $cached_env_img{$key} = q|<IMG
  30.   STYLE="" SRC="|."$dir".q|img7.png"
  31.  ALT="\begin{evaltrace}
  32. ''++'' ++ '' ...">|; 
  33. $key = q/{evaltrace}"++-->"+-->"++..>"+..>strut"++_->"+_->"++_.>"+_.>strut"++**>"+**>"++<comment_mark>6strut"++_*>"+_*>"++_{evaltrace};LFS=12;AAT/;
  34. $cached_env_img{$key} = q|<IMG
  35.   STYLE="" SRC="|."$dir".q|img12.png"
  36.  ALT="\begin{evaltrace}
  37. ''++–>'' +–> ''++..>'' +..>
  38. \strut
  39. ''++_->'' +_-> ''++_.>'' ...
  40. ...'' +**> ''++%%>'' +%%> ''++.->'' +.->
  41. \strut
  42. ''++_*>'' +_*> ''++_\end{evaltrace}">|; 
  43. $key = q/{evaltrace}"-"-"_"_"="=".".{evaltrace};LFS=12;AAT/;
  44. $cached_env_img{$key} = q|<IMG
  45.   STYLE="" SRC="|."$dir".q|img6.png"
  46.  ALT="\begin{evaltrace}
  47. ''-'' - ''_'' _ ''='' = ''.'' .
  48. \end{evaltrace}">|; 
  49. $key = q/{evaltrace}">">"<"<"^"^"V"V")")"("("~"~"v"vstrut"]"]"!"!{evaltrace};LFS=12;AAT/;
  50. $cached_env_img{$key} = q|<IMG
  51.   STYLE="" SRC="|."$dir".q|img8.png"
  52.  ALT="\begin{evaltrace}
  53. ''>'' > ''<'' < ''^'' ^ ''V'' V '')'' ) ''('' ( '' ''  ''v'' v
  54. \strut
  55. '']'' ] ''!'' !
  56. \end{evaltrace}">|; 
  57. $key = q/{evaltrace}"T"T"t"t"I"I{evaltrace};LFS=12;AAT/;
  58. $cached_env_img{$key} = q|<IMG
  59.   STYLE="" SRC="|."$dir".q|img11.png"
  60.  ALT="\begin{evaltrace}
  61. ''T'' T ''t'' t ''I'' I
  62. \end{evaltrace}">|; 
  63. $key = q/{evaltrace}"q"q"w"w"a"a"s"s"Q"Q"W"W"A"A"S"Sstrut"e"e"r"r"d"d"f"f"E"E"R"R"D"D"F"F{evaltrace};LFS=12;AAT/;
  64. $cached_env_img{$key} = q|<IMG
  65.   STYLE="" SRC="|."$dir".q|img10.png"
  66.  ALT="\begin{evaltrace}
  67. ''q'' q ''w'' w ''a'' a ''s'' s ''Q'' Q ''W'' W ''A'' A ''S'' ...
  68. ''e'' e ''r'' r ''d'' d ''f'' f ''E'' E ''R'' R ''D'' D ''F'' F
  69. \end{evaltrace}">|; 
  70. $key = q/{evaltrace}"slash"slash"?"?"'"'{evaltrace};LFS=12;AAT/;
  71. $cached_env_img{$key} = q|<IMG
  72.   STYLE="" SRC="|."$dir".q|img9.png"
  73.  ALT="\begin{evaltrace}
  74. ''/'' / ''?'' ? ''''' '
  75. \end{evaltrace}">|; 
  76. $key = q/{evaltrace}"|"|"*"*"<comment_mark>5{evaltrace};LFS=12;AAT/;
  77. $cached_env_img{$key} = q|<IMG
  78.   STYLE="" SRC="|."$dir".q|img5.png"
  79.  ALT="\begin{evaltrace}
  80. ''\vert'' \vert ''*'' * ''%'' % '':'' :
  81. \end{evaltrace}">|; 
  82. $key = q/{evaltrace}+-->;(++23)|+_->;5{evaltrace};LFS=12;AAT/;
  83. $cached_env_img{$key} = q|<IMG
  84.   STYLE="" SRC="|."$dir".q|img4.png"
  85.  ALT="\begin{evaltrace}
  86. +–> ;(++ 2 3)
  87. \vert
  88. +_-> ;5
  89. \end{evaltrace}">|; 
  90. $key = q/{evaltrace}q->{{tt{(*23)}|a->{{tt{6}{evaltrace};LFS=12;AAT/;
  91. $cached_env_img{$key} = q|<IMG
  92.   STYLE="" SRC="|."$dir".q|img3.png"
  93.  ALT="\begin{evaltrace}
  94. q-> {\tt (* 2 3)}
  95. \vert
  96. a-> {\tt 6}
  97. \end{evaltrace}">|; 
  98.